DEF=a
EXT=a
KOMPILE_BACKEND=haskell
TESTDIR=.
KPROVE_FLAGS=

include ../../../include/kframework/ktest.mak
